11.1 Some definitions